<?php
echo intval("carlos");

?>